Stack-Based Architecture and Stack-Based Query Language

Stack-Based Query Language (SBQL) is a model query and programming language for a wide family of object-oriented database models. SBQL is the result of investigations into a uniform theoretical and conceptual basis for object-oriented query languages integrated with programming capabilities and abstractions, including database abstractions: updatable views, stored procedures and transactions. SBQL is developed according to the Stack-Based Architecture (SBA) that is a conceptual frame for developing object-oriented query and programming languages. SBQL has the same role as object algebras, but it is much more universal, with precise formal semantics, directly implementable, optimizable and enabling strong typechecking. SBA and SBQL deal with object store models that include complex objects, associations (links), classes, types, methods, inheritance, dynamic roles, encapsulation, polymorphism, semi-structured data and other features. The paper presents fundamental ideas of SBA and SBQL.